propositional dynamic logic
[计] 命题动态逻辑
热门查询
- inappropriately adv. 不适当地
- general election n. 大选；普选 [网络] 换届选举；换届普选；美国大选普选
- iridescence n. 彩虹色
- devon n. 德文郡（等于Devon shire，英国郡名）；德文岛（加拿大北部）
- endive n. 菊苣；莴苣菜
- psyched adj. 兴奋的 激动的
- further adj. 更远的；深一层的 vt. 促进，助长；增进 adv. 进一步地；而且；更远地
- wanly adv. 苍白地；衰弱地；暗淡地
- posing v. 摆姿势（pose的ing形式） n. (Posing)人名；(德)波辛
- Porteous [人名] [苏格兰人姓氏] 波蒂厄斯可能是地貌名称，来源于中世纪英语，含义是“门口，人口+房屋”(gateway,entrance+house)
- brothel n. 妓院
- venezia n. （意）威尼斯（等于Venice）
- presumably adv. 大概；推测起来；可假定
- sutler n. 军中小贩
- concordance n. 调和，一致；用语索引；著作或作家全集的重要用字索引
- clustering n. 聚集，收集；分类归并 v. 使成群（cluster的现在分词）
- ornamental adj. 装饰的，装饰性的 n. 观赏植物；装饰品
- hare n. 野兔 n. (Hare)人名；(印)哈雷；(英)黑尔；(法)阿尔
- Lutz n. （花样滑冰中）后外钩点冰一周跳; 钩手形
- primitively adv. 最初地；自学而成地
考试词汇表
- isolated species
- isolated station
- isolated storage
- isolated viscera
- isolating damper
- isolating device
- isolating method
- isolating switch
- isolation damper
- isolation dopant
- isolation effect
- isolation groove
- isolation levels
- isolation medium
- isolation method
- isolation packer
- isolation period
- isolation pocket
- isolation region
- isolation spring
